perm filename CMR7.360[360,GF]1 blob sn#803131 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#_f$  F#!8C∃(↓U 5(↓U⊂λ↓U⊂λ↓U⊂λ↓T`⊂_↓T`⊂_↓T@⊂(↓T@⊂(↓T@⊂(↓T ⊂8↓T ⊂8↓T ⊂8↓T↓UB 4xB`4xB`4xB`4pC 4pC 4h↓CDP∧↓a$("⊂Bq@E`↓λ'a⊂_'a _'a0_'a0 'a0 'a0 'a0 'a0_'a  'a 'βI`_∧A	`_¬@i`_¬A	`_ε↓	`_ε↓	`_ε↓	`_ε↓	`_ε↓	`_¬A	`_¬↓	`_∧A	!⊂"Qλ10¬bpHβA ∃λ↓A@ ⊂↓∪`0Pα∪@0`↓S 0p↓∪0x↓∩`AR`AR`1λR@DPα∩@DPα∩@DPα∩`1λR`AR`AS0xS 0pS@0`S`0PT 00↓∀`t("⊃β⊃PE`↓λ'a 'a _'a@_'a@_'aP_'aP 'a`_'a`_'a` 'a` 'a` 'a` 'a` 'a` 'a` 'a`_'aP 'aP_'a@ 'a@_'a  'a⊂_%∧(T "Ec↓8@αTp↓B`4p↓C$p↓C ∀p↓C $p↓C@∀p↓C@∀p↓A`⊂0S@08S@08S@00↓∪A4p↓A@$p↓A`∀p↓A`∀p↓A`⊂8S@0xS@0pS@0pS@0pS@0h↓∪@0`↓S@0Pα∩BT("⊃BQ0E`↓ 'a _'a0⊂'a@λ'a@⊂'aPλ'aPλ'`pλα@)`_β@)`_β@)`_βI`X'``⊂'`pλ'`pλ'`pλ'i`_'i`_'i`_'i X"QλqP∞¬bpPβ↓@∃λ↓A@ _↓∪`0PαS@0h↓S 0p↓S1↓∪1λR`AλR`1⊂R@DPα∩@DPα∩@@X¬R@A↓R`1↓R`@x↓S0x↓S0x↓S 0p↓S@0h↓S`0Xα∀ 0@@@% ∧↓∀("∩β⊃PE`X↓Bi`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@iaλ'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_%α`0X"Q	⊂Xε¬bp¬S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓RA4("∩AaλE`0X)j _)j _)j _)j _)j _)j _)j _)j _)i0λβi _α@i _α@i ⊂α@i0⊂αIP("Q	1H
¬bp¬A`tp↓CDp↓C$p↓C∀p↓B`∀p↓B $p↓B∀p↓A`∀p↓A@∀p↓A ∀p↓A4p↓@`⊂λ↓S@0⊂@@4p↓@ ⊂ ↓S@@0↓S@08↓S@0@↓S@0H↓S@0P↓S@0P↓S@0X↓S@0`↓S@0XαRA0(∧Q(D`
¬"q8αi`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_ε)`_ε)`_ε)`_¬@I`_¬@I`_¬@)`_¬I`_∧↓	!_"Q	R⊂Ebp∧∧↓∧pα∧Dp@ 0p@ 4p@ 0p@ 4p@ 0p@ 4p@@0`@@4p@@0`@@4p@`0P@`4p@`0P@`4p@`0P@`4pA0@A4pA0@A4pA 00A 4pA 00A 4pA@0 A@4pA@0 A@4pA@0 A@4pA`0⊂A`4pA`0⊂A`4pB@@↓S@⊂@αα4pB@@↓S 0@↓α 4P∧A  (¬Q(DpFBq8↓a⊂H'↓↓0_'↓↓@λ' ⊂_¬@)`λ↓a λ'  _¬)`λ↓@a⊂λ' @_∧)`λα@`pλ' P_β@)`λβ``λ' p_α@)`λβ@`Pλ'!_α)`λ∧@`0λ'!⊂_↓@)`λ¬` λ'!0_@)`λε↓	`λε↓	`λε@i`λπIP_ε@I H¬@(T 'F#18B uα↓ Dx↓B 4p↓B`4h↓C 4`↓C`4Xαβ`DXαβ`DX↓D 4Pα∧ DPα∧ DPα∧ DPα∧ DPα∧ DPα∧ DX↓D 4Xαβ`DXαβ`D`↓C`4h↓C 4p↓B`4x↓B 5α↓ E_βQ(E¬bq8∧)`_∧↓	`_¬i`_¬@i`_¬A	`_¬A	`_¬A	`_¬A	`_¬A	`_¬@i`_¬i`_∧↓	`h'i`_'i`_'i`_'i`_'i`_%αhT (F#1pB uα↓ Dx↓B 4p↓B`4h↓C 4`↓C`4Xαβ`DXαβ`DX↓D 4Pα∧ DPα∧ DPα∧ DPα∧ DPα∧ DPα∧ DX↓D 4Xαβ`DXαβ`D`↓C`4h↓A@(↓S@0⊂A⊂_↓S`0λA ⊂λ↓T@(α∀a8V@ 0V@ 0V@0 ↓⊗`uXβWUh↓Q(E⊂
εbq8βi`_βA	`_∧@i`_¬i`_¬↓	`_¬↓	`_¬↓	`_¬↓	`_¬i`_∧@i`_βA	`X'`p⊂'a⊂'a⊂⊂'a⊂_'a⊂_'a⊂_'a⊂ 'a⊂ 'a⊂ α@)`_¬↓@λ'a  ↓@) X∧↓(T )Dα!8A` S  (↓ $`B 4XB`$P↓α`$P↓β∀P↓β∀P↓R@4XαS↓∧h¬∀↓¬ αU@58↓V$PC $PC $PC $P↓α`$P↓B@∀P↓  0↓∩@⊂ βQ(E ε"q8EI0_β@``_%@!⊂_∧)0λ∧@aλ%A⊂_∧I λ¬a⊂λ%! _∧@) λ¬a⊂λ*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@jh"Q
QH
¬bp¬A!∀p↓C4p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀x↓B`∃↓α@%λ↓α%⊂↓A % β⊃(E0FBq8α!⊂8&@a`_&@a`⊂'aPλ'aPλ'↓↓0⊂'@a0λ'@a0λ(a⊂λ(a⊂λ(↓p⊂(@`pλ(@`pλ)`Pλ)`Pλ)@`0λ)@`0λ)@`0λ*`⊂λ*`⊂λ*@jP_*@j`λ"Q
r ∩Ebp∧AA⊂(βS@Xαα@4h↓B`@XS 0Xαα`∀p↓B@@PS@0H@@0HS@0H@@0HS`0@@@0@S`08A08S`08A08T00A00T0(A@0(T0(A@0(T 0 A@0 T 0_B0_T 0_B0_T@0⊂B0⊂T@0λB@0λT@0λB@0λT`@Pα∀`0`↓T`0`↓U `↓∃⊂pQ(E@FBq8B P@'↓↓⊂ '@a⊂⊂'A↓λ(`p⊂(@``λ(A@λ)`0λ)@` λ)A*@_*@jP * ⊂_)@@ _)@ @_) P (@ p_(@!_(!⊂ '@!0_'A@_&A↓ (%α↓H"Q⊃H
¬bp∧B thαβ 4hαβ $p↓C ∀x↓B`∀xαα %↓B ∃λ↓A`∃λα↓@∃⊂↓A ∃_↓@`∃_α@∃ ↓@ ∃ α∃ 5(↓U 5(↓U 5(↓U 5(↓U 5λ¬⊃(EP	¬αq8D)0 ∧@i0_¬i0⊂¬i0λ¬i0λ¬i0λ∧@i0λ∧↓
@_)@j  )j⊂_(↓
_'@a⊂λ'↓↓⊂λ'a λ&@a ⊂&@a λ&a0λ%@a0⊂%@a⊂ %∧(T 0Dα pπ@tX↓A$X↓A $`A@5_↓T`4p∧∪0 ↓R`0(↓R@00↓R@00↓@`∀P↓A@0_R@0(α`∀X↓@``λ↓∪ @_α⊃(F⊂	∧bq8↓IP_&@iP_&@iP_&@iP_&@iP_↓↓)P(αiP_∧IP_∧iP_∧@IP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@IP_∧iP_β@iP⊂@@@_&@ @("Q0pπCA`(βS 0 ↓S0(↓R`08R`$P↓R@4P↓R@4P↓R`$X↓B ∀`↓A`∀h↓A $xβ⊃(F 	∧bq8∧AJ`_+j`_+j`_+j`_+ip(↓iP_α↓)@_β@i0_∧i0⊂∧@i _∧@i _∧@i _∧@i _∧@i _∧@i0⊂∧@i0_∧i@⊂βA	P_α ⊂_'A  0"QPpπCA`(αS 0 ↓∪ 8↓∩`08↓∩` H↓∩@0H↓∩AdP↓R@4P↓R`$X↓B ∀`↓α∀h↓A $xβ⊃(F0εβαq8βA
⊂@ip⊂↓i`_↓@)`_'i`_'i`_%α)`_'i`_'i`_'i`_'i`_'i`_'i`_%B(T 3Dα⊃0π↓`⊂↓S   ↓@@$`↓↓@$X↓A@4X↓A@4X↓A@4X↓A@4`↓↓@$h↓↓$`@ d`S$`¬∪↓Dhε∩` Hα∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩` P↓∪00↓S`d("~α!_E`0&@iP_&@iP_&@iP_&@iP_&@` (&@`⊂λαIP α@iP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βi H↓↓hT 4B↓↓8@`$`α∪Dh↓⊃`PλαS 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P∧⊃(FP∧Aca8βIp 'A
⊂#A 00(j_(j_(j_(j_(j_(j_(j_(j_(i0λαi _↓@I _↓I0("Q
1⊂	Ebpβ∪ 4h↓S 4h↓S 4h↓S 4h↓S 0 βS 0(α∪ 0(↓∪ 0 ↓∪ 0_S 0⊂↓∪ 0λ↓S @λ↓S 0⊂α∪ 0_α∪ 0 ↓S 0 α∪ 0(α∪ 0(αRA⊂∧⊃(F`∧B"q8↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@i H"Q
Qh∂βA`β`P(αS 0λ↓`0⊂↓`4hα↓@@0↓S @0α↓@4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4P∧@A⊂∧⊃(Fp	∧a`p↓@ (&@`⊂λαIP α@iP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βi H↓↓hT 7Dα⊂pπ↓ dh↓A4`↓α$X↓B4X↓α@$P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4X↓α@$X↓B4`↓α$h↓A4xβ⊃(G	∧bPp↓@ (&A @_&@`p_&@a_&@a_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a_&@a_&@`p_&A @_&@` (&@iP_&@iP_&@iP_%α(T 8DB1(π↓ P S 0 @@$`↓A@DX↓B4X↓B4P↓B 4P↓B 4P↓B 4P↓B 4P↓B 4X↓B4X↓B4`↓A@Dh↓A⊂λ↓S`P⊂↓U@50↓U@50↓U@50↓Ta∀("≤A@hπβ@0↓iP_@ ⊂_&A _&@`@λ&@iP_&@iP_&@iP_&@iP_&@iP_%α(T 9C↓Ppπ`P⊂R` (↓R@ @R@ @R@08R@dX∧∪↓∀xβ∀`4PB $PB $P↓α∀P↓A@∀P@@d("≥↓0`
¬Pλ'@)pλ'IP_&↓	 P&@iP_&@iP_&@iP_&@iP_&@`@λ&@`@λ&@`@λ&@`@λ'` λ'AλT :DB0pπ`_β∪ 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 0(α∪@  @ 4xα@@d("≥B⊃⊂πβ@8αA)@ β@IP_β@)P_β@)P α@I`_α@)`_α@)p_↓@)p_↓@*_@*_@*((@j⊂_)(T ;Fβ⊂pπp⊂β@`T`↓A@00↓S00↓A@$h↓A @(S 0(α↓ ∀h↓A⊂⊂↓↓ ∀p↓@`⊂⊂↓@`∀p↓@`⊂⊂↓@`∀pα ⊂ ↓@$x↓@ ⊂ ↓@ ∀x↓@ ⊂ ↓@ ∃↓A@5↓A@5↓α%λB∀("≡α⊃⊂πβ@8↓Ai@ α@iP_β)`_α)p_↓)p((↓
⊂_(A
λ↓ipλ↓A	`⊂αiP⊂βi@_β↓	 0α↓hT <D"!(πp(αS@8↓∪ 08S 08S @(↓∪@0(S@0(S`0_S`0_T0λT0λTUλ↓T 5⊂T@∃λT ∀P↓@`$P↓@`∀P↓@@∀Xα⊃(GPεCA`pC	0⊂βi0λβ↓	0λβi0λα@i0λα↓
_'@i`_α@)P α@)P_β)@_β)0 β)0_βI `"Q↓ 
Ebp	S@0H↓S@0P↓∪@0XS@0X↓∪@0`S@0`S@0`S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4P¬Q(@λ
G"q8ε@*`_+jPλ@j@⊂A
@λ↓@j0λα↓
0λα@j λβ↓
 λβ@j⊂λ∧↓
⊂λ∧@jλ¬@ip⊂¬A	pλε@i`λπ↓	`λπ@iPλλ↓	Pλλ@i@λ	↓	@λ	@i1H%εi!X"Q!H
EbpHβT@(α∪`0H↓S@0X↓S 0h↓S0x↓R`@xα∩`@xα∩`1λ↓R@@_B ⊂_α∩@@_¬@`DPαa0_α∩@@_¬@`DPα`⊂H@`DPα∧ DX↓D 4Xαβ`DXαβ`D`↓C`4h↓C 4p↓B`4x↓B 5α↓ E_βQ(@_Fαq8¬@*@_*j@_)A*0λ@j0λ@j λ↓↓
 λ↓@j λ↓@j⊂λα@j⊂λα@j⊂λα@jλβ@jλβ@jλβ@ipλ∧@ipλ∧@ipλ∧@i`λ¬@i`λ¬@iP⊂¬A	@ ¬↓	 8βαHT α¬αa8@αDP
∩@⊃⊂R@⊃⊂R@⊃⊂Q`@_C∀hC∀hπ∪!dhC∀hC∀8α⊃⊂R@⊃⊂R@⊃⊂RBDP
⊃(@(FBq8ε)`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i X↓BhT β¬C↓8@αTX↓C DXαβ@$`↓C`∀h↓C@$hαβ@∀pαβ ∀x↓C ∀xα∀Eλ↓T@5⊂↓T`∃⊂T ⊂hT⊂pS`⊂xS@⊂x↓∪@⊂xS ⊂x↓∪⊂pα∩bDP
Q(@8Fbq8↓A↓0 %Bp@%B PH%@P ↓AP⊂% p_↓@`pλ)@`⊂_*@⊂⊂*@⊂⊂*@ ⊂λ*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_(BhT ∧¬C↓8AA5 ↓U5 ↓U5λ∧∪@@⊂↓@ Dh↓A0_↓R`@(↓ADX↓A@0(↓R@@0↓A DPα↓@0(α∩@@0↓A DPα↓@0(α∩`00↓A 4Xα↓ 0 α∪ 0 ↓@`4pα@0λα∀!¬ ↓U5 ↓U5¬Q(@HFbq8βBjP_*@jP_%↓p_βA	@_β``_&``_βiP_α@`P_&@`P_α@iP_α@`P_&@`P_α@iP_α@`P_&@`P_α@i`⊂α@`P⊂'`@_αip⊂α`@⊂(@0_↓@J⊂_@`⊂_)AjP_*@jP_*@j⊂X"Q↓!0¬bp8∧∪`00↓S 0P↓S0`↓R`@`α∩`0p↓R@@pα∩@@pα∩@@pα∩@@pα∩@@pα∩`@`α∩`@`α∪0`↓S 0P↓S 0P↓S@ P↓∪` @↓∩@⊂ ↓α  R@⊂(B⊂(R@  ↓↓@  ↓∩`p0βR`p0βR`p0βQ(Cπ∧αQ(αA	P⊂αI@⊂βI0_βi0⊂∧I0⊂∧I _∧i _∧i _∧i _∧i _∧i _∧i _∧i _∧i _∧i _∧i0⊂∧I0⊂∧I0_βi@⊂βIP⊂αI`0"Qε⊂`πE"P0↓∪`4P∧∪`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓RAD("Aa
E @0&@P_%@!_%@!_%A %a_%a_*↓
@_*j0_)@J ⊂(@J⊂'@Ipλβ@)`λ∧)Pλ∧I@X%C	 h"Qε0pλ¬"P αS  ↓R` 0↓R`0(α∩`00↓S⊂0α∀`E_↓T`%⊂↓∪@U⊂↓T`5 ↓UDXBDP↓A`DP↓A`DPB 4XA`4`↓↓4pαQ(C λ∧"Q(¬J@⊂)@j  )↓
⊂λ@jλ↓ip⊂↓ipλ↓@i`λαiPλα@iPλα@i@λβi0λβ@i ⊂β@i!)@j0_)@j0_)@ipX"QεPpλ¬"P⊂↓↓`$`¬∪↓∀`∧∪∀`S∀`S⊂⊂αS0 ↓∪⊂8↓∃ %(↓U 5(↓R@0@↓R@0@↓R@ H↓∩`⊂@↓R`⊂@↓∪  ↓S@T("
Aa
E p '@@@λ' `⊂&@@P_&@`_%@i0⊂%i _↓↓) _@ @⊂%↓`⊂%↓p⊂%a_%a_%a_%a_%@A_%@A_&@p⊂&@`⊂&@@@⊂'A(T ≠Cb⊃0 ∀Xπ∩aTXεR@ PR@⊂PR@⊂HU∃_T@∃⊂T %λT%↓∀$x↓S`4x↓S`4x↓S`5Q(C@π∧αQ(αA)P⊂αI@⊂βI0⊂∧I0⊂∧I0⊂∧I0_β@I@_α@I@(↓IP8'AIP⊂↓↓)@⊂α↓)0⊂β@i ⊂∧@i ⊂¬I ⊂¬I ⊂¬I0⊂∧@)0⊂∧)@_αI`0"Qπ⊂pλ¬"P αS   ↓∪ 0↓∩` 8↓∩@0@↓∩@0@↓∩@0@↓R@0@↓R@0@↓R@0@↓R` 8α∪ 0α∪   @ 4pα@@5(↓U % ↓R`00↓∩`00↓∩` 0↓∪⊂ ↓S T("	↓a
F pλ(@)`0&@@ λ↓I@λα @λ%@ Pλα) ⊂α@ Pλ%@Pλ↓@i ⊂α@ 0_%`@λα) _α)0 ↓)@8&B	p8(@ ⊂ (@ 0⊂(@ 0_%@ PλαI _α @⊂%@PλαI λβ @⊂%@ Pλ↓@I0λα@ 0λ&@0λ@I`0(@*⊂λ"Q∧aH
Ebp8↓T ⊂S`  S@0 S@0 S@0 S@0_S@0_S@0⊂S@0λB↓∧x↓B`Dx↓C∀xαα@∀p@ 0PS ⊂⊂αα∀`A0@R` (↓A@∀P↓A @ R@00α@∀P↓A`TP↓B@HR`0@α↓`$`↓A  ⊂↓A $pβ↓@d("∂aPxE`08& `⊂%@!⊂%`p_%`p_%@!_)@j _(@J⊂λ(Jλ(*λ(*λ#AP⊂'↓	` '@HT ∨β!q8λ↓ $pα∪@Dx↓⊃`@0T∀xS`∀xS`∀pS $`↓∩`$P↓B∀P↓A`4P↓A`4X↓α∀X↓A@∀hβQ(A∧α↓`pA)P_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_%αλT λB q(π`e↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓R`⊂ ↓R@0_↓∩@0⊂↓∩`T("ε"↓λE``0'@@@⊂'@`⊂&@``_&@``_&@``_&@``_&@`P_&@`@_%↓@ _&@`@⊂&@`P_&@``⊂&@``_&@`p⊂&@`p_&@`p_&@`p_&@`p_&@`p_&@`p⊂&@` ⊂↓iP_↓@ ⊂%↓@0 "Qβ!8CA`⊂∧↓ TX↓A  ⊂↓↓$X↓A@@0↓∪⊂8α↓`∃ ↓B% ↓B%λS @_↓S 0↓R`00↓R@08↓R@08αα∀P↓A`@@R`0 ↓@@0 ↓∪ `0αQ(AX
G↓`pαA@p(&@`@_↓@`@⊂&A⊂@@p⊂%@a(∧)0⊂¬a⊂⊂%a _∧@I _¬βI _¬i _¬i _¬i0⊂¬i0_∧↓!⊂λ&A⊂@`pλ&@`@_↓@`P⊂'A@p0"QβAλEα⊂pU`∃0↓∪``λS 0 ↓S 8↓R`00@ 4X↓↓@⊂_↓∩@00@`4P↓A ⊂ ↓R@0 ↓↓4P↓A⊂(↓R@0_A@4X↓`⊂0↓∩`0λA@4`↓A`$h↓A4h@ d`↓∪∀XQ(Ah∂Hαq8∧¬*Pλ↓a⊂_*@  _¬JPλ↓a0λ* 0_¬@J@λ↓@a@λ)@ @_ε*0λαa@λ)@ @_β@* λα@`pλ) P_β@* λα@``⊂(DJ⊂λβ``⊂(@`_β@*λβ@`pλα@*λβ@`pλα@)pλ∧a@λ'@!_ε)pλ∧a@λ'!⊂_¬@I`λ∧@a _&@a_∧@i @↓DHT ∂λdQ8B#¬λ↓A PP↓S`0@αα`$p↓B@0`S 0X↓C$`αα`0hR`@`↓C ∀Xαβ0@A∀X↓C 0@R@@h↓B∀Pαβ 08↓∩@@hε∩@@h↓A`$Pαβ 0@R@@h↓B∀Xαβ0@A ∀Xαβ0pR`@`↓C ∀`αα`0hS 0X↓C ∀p↓B@0`↓∪`0@αα`5λ↓A PP↓Tc∧("πc⊃X
F"`λ/@*08α*_βA)p⊂¬@I`⊂εiP⊂ε  ⊂&APλ↓@I0_ε @_%@a0λα@i0⊂¬@@`⊂%a0λβ@i _¬!_%a⊂λ∧@i _∧@!⊂_%aλ¬i _β@!0_%@@`⊂¬@I0_α@!0_%@`@λεi@⊂↓@!P⊂&@@ λεI`_εIp⊂¬@I`(β@i`λα↓iPλ&(T ⊂Aq8@ $Pα∩@DPα∩@DPα∩@DX↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓⊃`@λ↓∩@DPα∩`$("∂@8D⊂⊂%↓	  %@Hp @I0⊂%@I0⊂%@I0⊂%@I0⊂%@I  %↓	  %↓	  %↓	0⊂"Q∧1X∞GBp`↓↓`%0↓↓`%0↓↓`%(↓A@5(↓↓`%(↓↓`%(↓↓`%(↓↓`% ↓A@5 ↓↓`$P
RC5_↓↓`%_↓↓`%⊂↓A@5⊂↓↓`%⊂↓↓`%⊂↓↓`$P
RC5↓A@5↓↓`%↓↓`%↓↓`$x↓A@4x↓↓`$x↓↓`$x↓↓`$p↓A@4p↓↓`$p↓↓`$("	#1h
F @_π@I@⊂↓@!P_%@`@⊂¬i0⊂α@ ⊂⊂β↓) _β  0@i _β!_%``λ∧I _β p_%``λβi _β P_%@@PλβI0_α P_&@0λα@i`_α@j`⊂β@jP_α@@0λ*`P_α*@⊂β@Pλ)@`P_β* _β``λ(@`p_β*⊂⊂∧``λ(a_β)p_∧@``λ'a0⊂α@)`⊂ε`@λ&@aP⊂↓@)P⊂λhT ∪A!P@ $Pα∩@TX↓ ∀pS@∀pS ∀`↓∪∀P↓⊃(B@∧C∧⊃H∧*⊂λ()pλ'IP⊂&@I@⊂&I0⊂%@I0⊂%i _%i _%i _%i _%i _%@I0⊂%@I@⊂&IP⊂&@I`⊂'@*λ(@* λ"Q¬⊂H¬H#⊂R`∀`S ∀h↓∪@$p↓∪`$x↓∀%↓∀%↓T5↓T5↓T5↓T5↓T5↓∀%↓∪`$x↓∪@$p↓∪ $hS∀XR@∀("
Aaπε `⊂(J⊂%@@⊂αI _↓@@0_%A⊂⊂A	`0(I`0%A⊂⊂A	 _↓@@0_%@@⊂αJ⊂(J⊂"Q¬1H
F"P`↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@$PRC∃0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@$("@8¬`⊂⊂%↓	  %@iPλ&@)Pλ&)@λ%@) λ"Q¬` β@`0λ↓∩@DPα∩`$("aa⊃ε!@⊂+JP_*@JP⊂*j@⊂)@j0⊂)@J _)J ⊂(@j⊂⊂(@J_(Ip_'@Ip⊂'i`⊂'IP_&@IP⊂&i@⊂%@i0⊂%@I _%I ⊂"Qπ  βCA`λ↓∩@DPα∩`$8β@ $Pα∩@DX↓⊃(CXα↓bPp@I  %↓	0⊂#A`⊂⊂%↓	  %@iPλ&@)Pλ&)@λ%@) λ"QπQH
B!PRC∀8ββ∀PQ(DFbq8∧Aj⊂⊂β@Ip⊂¬@I`λπ@)Pλλ@)@λβA pλ%@ `_α pλ%@ P⊂β@ `λ%@ @_∧`0λ% P⊂∧@`@λ% @_∧@`@λ% @_∧@`@λ% @_∧@`@λ% @_∧@`@λ% P⊂∧@`@λ%@ @_∧`@λ%@ P⊂βA0λ%@ `_α ⊂_↓@)@λβA @ &@)`λ'@Ap_(@A⊂()BHT -AA∩⊂@dPβ∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$Pβ∩@d("↔ `0⊃ε 0%↓I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂%↓I 0"Q(βBBp_↓∪∀X↓∩`∀PR@∀PR@⊂λ↓∩@TXα∪$("∧@pXαE`_%i  &iP_'@(T 	Aa`(A4p↓S D`↓R`4XQ(A ∧β 1(@@⊂%@@ ⊂&↓	P⊂"QαPPπ↓BpB∀PB∀P↓↓@$XA@∀X↓↓$`β∪ D("¬A@x∧``"Qαp8λA"p⊂↓R@ _↓∩@⊂(R@⊂(R@ _↓∪4(!@?␈␈x␈@απ?␈␈x|␈␈␈x␈A4pα∀5λ↓T 4X∧∩@∀("λ↓⊂H↓C!λ'A	@_%HT /α↓P_`$`@@∀XA∀PA@∀("↔`P8↓E`⊂_%@i0_%@hT >BAp(@ 0_↓R`0_↓R`0_↓R@0_↓R@  ↓∩@⊂(Q(Gpεβ`!0↓↓Pλ%BI λαAλT ?BA`_@   ↓∩@@⊂α∩@@⊂α∩`  ↓⊃(@Xεαq8∧A@0((↓P ↓ip_β↓0_'`p_α@)`_β@i`_β@i`_β@i`_β@i`_β@i!('`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_%B0@"Q↓A 
¬bpHβ∀@(S`00↓S@08↓S@0@S@4p↓S@4p↓RB∀p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4X∧a∧("β"A Ea⊂@(`P_'@``_'`p_'`p_'`p_'`p_'`p_'`p_%∧)`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i0@↓BλT ππcq8B p β∀ 00αA ∀x↓A`@0↓S@0@↓A`4p↓B0@S@0@↓S@0@↓S@0@↓S@0@↓RCDp↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓Ra β@a∧("βcqxEa⊂8αα
⊂_β↓P_'@`p βi`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i!`'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i0H↓α ⊂H"Q∧ hπαBpλ↓↓@$Pα↓DPα@`TX↓ ⊂ ↓ ∀pA`∀pA`∀pA`∀hA`∀`↓↓@$`A`∀P↓↓@$("!⊂HBH%α(T .β"⊂P@` 0↓∪⊂8R` 0↓∩`⊂8R@⊂8R@⊂8R@⊂8R@⊂λ↓↓⊂λ↓∩@P_αR`@ α∪ 0↓⊃(GX	∧@H∧HT >	D`∧@∧d(wCM⊗ 2[NFH3~,W⊂⊂⊂iU⊂wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∂∨	>@8
HIh
 α>fpα>f␈x␈␈␈`∧ox␈␈}pβ∨0ε X&N λW>`λ⊂@↓p 
@↓λQ=@!xβAα(α∨h{c0ε A`∧Mo0αε@`λ⊃ 	2}`(∞@↓Wh␈↓_¬=@a`β!C(α6x{↓cpπα∧P∧x/0∧πhε
 
∧}`H∂@↓`@∩@↓ ==A!`β!C(αNH{αc¬5l λdo0ε¬`P,Z ⊃d>`h@↓%H4@α_v=Ab⊂βpap∧Dx{βd πaC`	≠∂0λα`(⊗- m↑aλεZPW↓Hm⎇B! α#G(∧ @{∧b@∧G∞PλC?0
¬H∞≥ ⊃↑a(
↓⊃`:@α⊂ ⎇Ba α#G(∧&{¬cPε←?`λM∨0∧@@⊂! ⊃!≡aH
↓⊃`;@↓P
=C!`β!C(β'h{εcpπα∧PεYo0∞¬H∞≥ 
J>ah⊃@αβ@t@↓XE=Cb@∧FHβAX{πcpπα∧Pπ∃O0⊂α`(⊗- ⊃+≡bλ¬@R`Z@↓h≥⎇D! α#G(∧VH{λd⊂πAαPπ3←0∩¬H∞≥ ⊃≡b(⊂@↓p 
@↓p=DaxβAα(β({	a0αK⊗PπX?0∀∧8∩% ∂8↑bHλr J@↓x⊗⎇E! α#G(βw@{
cpπα∧Pπv←0⊗α`(⊗- ∂|≡bhε@b@R@α(P=E`X↓%K(∧h{b@∧G∞PλβO0_¬H∞≥ 
V↑cλ
↓⊃`:@↓(Z⎇F! α#G(α↑@{b@∧G∞P¬E←0~¬H∞≥ ≥↑c(
↓⊃`:@↓0↑⎇Fa α#G(αp {
b@∧G∞P¬k?0≤¬H∞≥ e↑cH
↓⊃`:@↓8v⎇G X↓%K(∧εH{∞a0αK⊗Pλ⊂/0≡α`(⊗- ∞[≡ch∂@↓`@∩@αT⎇Ga_α∪gpβ↔X{∂b0∧'O`ε(∂0 π`p∧	 ⊂.↑dλ∞@↓Wh␈⊃⎇H!`β_r⊂λ{⊂c@εCεP≤∨0"π@haD@O≡d(
@↓DH∀@λO⎇HaPαy3⊂  {⊃cpπ	∩pK∨0$π h>␈@↓/≡dHπiP7_⊂⎇I! α*UH5@{∩c`ε}}ps∨0&ε X&N α↓↑dh∩απλg &⎇Iahβ/←pP⊂{∪cpπα∧P↓0␈0(ε``$J αz↑eλ∂@↓`@∩@0≠⎇J!hβ(QHkP{∀b`¬εP↓d?0*πhε
 β↑↑e(∞@↓Wh␈8f⎇Jahβ/←p↓β⊂{∃e	~5`α∩∨0,π h>␈@∧N↑eH∞@↓Wh␈HL⎇K!@αbE(↓≡P{⊗a0αK⊗Pλ)␈0.¬H∞≥ ∩j}eh¬@R`Z@αλN=Ka α#G(∧+X{↔a0αK⊗PλZ∂00α`(⊗- ⊂z>fλ
↓⊃`:@P∨⎇L!0αCε(↓(⊂{_b ∧λ⊂Pα[∨02¬@P→ ¬B↑f(	↓αB@X0⎇L``↓5*p↓90{→b@∧G∞Pαz?04¬@P→ ε≡fH¬@R`Z@`A⎇M `↓5*p↓K⊂{~bP∧fM`β≡←06α`(⊗- εR↑fh⊂@↓p 
@h@⎇Ma0αCε(↓↑0{≠b@∧G∞PβE?08¬@P→ π~↑gλ
@↓→P5@p]⎇N!↓dI(↓q{≤bβO8pβg␈0:∧8∩% π↑≡g(↓!@2@xY⎇Na(α3&p↓␈@{≥c@εCεP∧ε?0<¬ HM≠@λ&≡gH
@↓→P7↓i⎇O!⊂α∧λ(α∩⊂{≡b@∧G∞P	</0>
↓⊂≤: ∩z}gh
↓⊃`:@α⊂o⎇Oa α#G(∧/p{∨b@∧G∞Pλa␈H∧bpAw{⎇xow{⎇x